退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:仿真一致性的自动假设-保证推理
Sagar Chaki; Edmund Clarke; Nishant Sinha; Prasanna Thati;
机译:自动通告假设保证推理
机译:欧米茄常规系统和规格的自动假定保证推理
机译:自动化和评估假设保证推理。
机译:三维适形放疗(3D-CRT)和调强放疗技术(IMRT)与左侧乳房切除术患者放疗剂量模拟的剂量学比较
机译:欧米茄常规系统和规格的自动假设-保证推理
机译:使用带有线性算术假设的假设-保证关系,通过符号模拟对软件和硬件描述进行高级验证
机译:记录蓄电元件的等效电路模型的记录介质,推导程序,其记录介质,推导装置,仿真程序,其记录介质,模拟装置,设计方法,合格/不合格判定方法,合格/不合格判定装置
机译:在处理目前的生食者时,I,I,I,I,I,I,I,I,I,I!
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。